@MastersThesis{Graça:2016:PrPrVe,
author = "Gra{\c{c}}a, Danilo Gaspar",
title = "Proposta de um processo de verifica{\c{c}}{\~a}o por testes
baseado na compara{\c{c}}{\~a}o das normas ECSS-E-ST-40C e
RTCA-DO-178C e sua aplica{\c{c}}{\~a}o a um software
embarc{\'a}vel",
school = "Instituto Nacional de Pesquisas Espaciais (INPE)",
year = "2016",
address = "S{\~a}o Jos{\'e} dos Campos",
month = "2016-05-17",
keywords = "testes de software, verifica{\c{c}}{\~a}o, processos de
desenvolvimento, desenvolvimento de software, sistemas
aeroespaciais, software testing, verification, development
process, software development, aerospace systems.",
abstract = "Este trabalho apresenta uma proposta de um processo de
verifica{\c{c}}{\~a}o por testes baseado na
compara{\c{c}}{\~a}o das normas ECSS-E-ST-40C e RTCA-DO-178C e
sua aplica{\c{c}}{\~a}o a um software espacial embarc{\'a}vel.
Isto inclui: a revis{\~a}o bibliogr{\'a}fica sobre conceitos de
Engenharia de Software e sobre as normas abordadas das
ind{\'u}strias espacial e aeron{\'a}utica; a
compara{\c{c}}{\~a}o e an{\'a}lise da estrutura de processos
das referidas normas para desenvolvimento de software; o estudo de
ferramentas semiautom{\'a}ticas de testes; a proposta de
m{\'e}todos e procedimentos b{\'a}sicos de um processo de
verifica{\c{c}}{\~a}o por testes baseado na
compara{\c{c}}{\~a}o das normas ECSS-E-ST-40C e RTCA-DO-178C com
suas principais atividades para ser aplicado no desenvolvimento de
softwares espaciais embarcados; e a valida{\c{c}}{\~a}o do
processo proposto atrav{\'e}s de sua aplica{\c{c}}{\~a}o a um
estudo de caso. A aplica{\c{c}}{\~a}o do processo proposto
mostrou que i) a invers{\~a}o da sequ{\^e}ncia tradicional de
testes apresenta significativos ganhos em termos de
esfor{\c{c}}o; ii) ela s{\'o} {\'e} poss{\'{\i}}vel com a
utiliza{\c{c}}{\~a}o de uma ferramenta de testes que tem impacto
direto no processo; iii) a maior contribui{\c{c}}{\~a}o da
ferramenta {\'e} compartilhar os resultados da
aplica{\c{c}}{\~a}o de testes em um n{\'{\i}}vel com os demais
n{\'{\i}}veis (HW/SW, SW/SW e baixo n{\'{\i}}vel); iv) os
m{\'e}todos e procedimentos utilizados reduzem significativamente
o esfor{\c{c}}o aplicado na realiza{\c{c}}{\~a}o das atividades
de teste. ABSTRACT: This work presents a proposal for verification
process by testing based on the comparison of ECSS-E-ST-40C and
RTCA-DO-178C standards and its application to embeddable software.
This includes: a bibliographic review on software engineering
concepts and the space and aeronautics industries standards used;
a comparison and analysis of the structure of processes of the
mentioned standards for software development; a study of
semiautomatic tools for tests; a proposal of basic methods and
procedures of a verification process by testing based on
comparison of ECSS-E-ST-40C and RTCA-DO-178C standards with its
main activities to be applied in the development of space
embedded; the validation of the proposed process through its
application to case study. The application of the proposed method
showed i) reversing the traditional test sequence shows
significant gains in terms of effort; ii) it is possible only with
the use of a test tool has a direct impact on process; iii) the
greatest tool contribution is to share the results of the
application tests in one level with other levels (HW/SW, SW/SW and
Low-Level); iv) the methods and procedures used significantly
reduce the effort applied in carrying out the testing
activities.",
committee = "Ambrosio, Ana Maria (presidente) and Souza, Marcelo Lopes de
Oliveira e (orientador) and Trivelato, Gilberto da Cunha
(orientador) and Rocha, Guilherme Concei{\c{c}}{\~a}o",
copyholder = "SID/SCD",
englishtitle = "Proposal for verification process by testing based on comparison
of the ECSS-E-ST-40C and RTCA-DO-178C standards and its
application to embeddable software.",
language = "pt",
pages = "179",
ibi = "8JMKD3MGP3W34P/3LM86BB",
url = "http://urlib.net/ibi/8JMKD3MGP3W34P/3LM86BB",
targetfile = "publicacao.pdf",
urlaccessdate = "21 maio 2024"
}